Research

Results: 462323



#Item
291UNIVERSITY OF TORONTO FRAMEWORK TO ADDRESS ALLEGATIONS OF RESEARCH MISCONDUCT Revised Effective January 1, PREAMBLE

UNIVERSITY OF TORONTO FRAMEWORK TO ADDRESS ALLEGATIONS OF RESEARCH MISCONDUCT Revised Effective January 1, PREAMBLE

Add to Reading List

Source URL: www.sgs.utoronto.ca

Language: English - Date: 2014-06-11 12:46:17
292Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute

Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute

Add to Reading List

Source URL: scungao.github.io

Language: English - Date: 2018-09-27 16:37:21
293Refinement Types for Secure Implementations JESPER BENGTSON, Uppsala University KARTHIKEYAN BHARGAVAN, Microsoft Research ´ CEDRIC FOURNET, Microsoft Research

Refinement Types for Secure Implementations JESPER BENGTSON, Uppsala University KARTHIKEYAN BHARGAVAN, Microsoft Research ´ CEDRIC FOURNET, Microsoft Research

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2012-02-28 13:28:34
294Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs Roopsha Samanta Computer Engineering Research Centre, The University of Texas at Austin.

Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs Roopsha Samanta Computer Engineering Research Centre, The University of Texas at Austin.

Add to Reading List

Source URL: www.cs.purdue.edu

Language: English - Date: 2016-07-15 23:00:36
295Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient

Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient

Add to Reading List

Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com

Language: English - Date: 2014-11-03 11:28:51
296Cryptology and Its Applications Nordic Research Training course, Bergen Zero knowledge and some applications Helger Lipmaa

Cryptology and Its Applications Nordic Research Training course, Bergen Zero knowledge and some applications Helger Lipmaa

Add to Reading List

Source URL: kodu.ut.ee

Language: English - Date: 2008-09-12 11:33:08
297Learning Shape Analysis Marc Brockschmidt1 , Yuxin Chen2 , Pushmeet Kohli3 , Siddharth Krishna4 , and Daniel Tarlow5 1 Microsoft Research, 2 ETH Z¨

Learning Shape Analysis Marc Brockschmidt1 , Yuxin Chen2 , Pushmeet Kohli3 , Siddharth Krishna4 , and Daniel Tarlow5 1 Microsoft Research, 2 ETH Z¨

Add to Reading List

Source URL: www.microsoft.com

Language: English - Date: 2018-01-04 03:04:14
298AP: Artificial Programming Rishabh Singh1 and Pushmeet Kohli1 1 Cognition Group, Microsoft Research ,

AP: Artificial Programming Rishabh Singh1 and Pushmeet Kohli1 1 Cognition Group, Microsoft Research ,

Add to Reading List

Source URL: rishabhmit.bitbucket.io

Language: English - Date: 2018-06-25 09:59:57
299The State of Internet Censorship in Egypt A research study by: Open Observatory of Network Interference (OONI) Association for Freedom of Thought and Expression (AFTE)

The State of Internet Censorship in Egypt A research study by: Open Observatory of Network Interference (OONI) Association for Freedom of Thought and Expression (AFTE)

Add to Reading List

Source URL: ooni.torproject.org

Language: English - Date: 2018-10-19 07:05:34